From: djm@kirby.fc.hp.com Date: Wed, 21 Sep 2005 21:13:16 +0000 (-0600) Subject: Minor change also needed in vcpu.c for guests to own ar.kr's. X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~16783 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=d9cf42324419ac188fdeaa03c799c482120a5da9;p=xen.git Minor change also needed in vcpu.c for guests to own ar.kr's. --- diff --git a/xen/arch/ia64/xen/vcpu.c b/xen/arch/ia64/xen/vcpu.c index 5e2a92d5ac..dcce55759e 100644 --- a/xen/arch/ia64/xen/vcpu.c +++ b/xen/arch/ia64/xen/vcpu.c @@ -134,7 +134,10 @@ IA64FAULT vcpu_set_ar(VCPU *vcpu, UINT64 reg, UINT64 val) else if (reg == 24) printf("warning: setting ar.eflg is a no-op; no IA-32 support\n"); else if (reg > 7) return (IA64_ILLOP_FAULT); - else PSCB(vcpu,krs[reg]) = val; + else { + PSCB(vcpu,krs[reg]) = val; + ia64_set_kr(reg,val); + } return IA64_NO_FAULT; }